#节省输入时间
git push origin HEAD:master
